An Agile Formal Development Methodology
نویسندگان
چکیده
The demand for more complex but also more reliable and correct computer based systems on the one hand, and the fact that several changes in the user requirements through the development cycle on the other hand, leads to the need for more formal but also agile development methodologies. This report proposes XFun, which is a development methodology that adopts the unified process, and proposes as the core modelling technique the X-machine formal method. This amalgamation creats a formal agile methodology aiming for the development of computerised systems that will be reliable and correct with respect to user requirements.
منابع مشابه
Bridge Methods: Complementary Steps Integrating Agile Development Tools and Methods with Formal Process Methodologies
This paper describes a “Bridge” method for successfully integrating Agile concepts with traditionally linear and sequential software development lifecycles. A software development and management environment is constructed to serve project oversight, management control, and team planning and task scheduling needs. The new method and environment enable project stakeholders to acquire a clear and ...
متن کاملFormal Experimentation for Agile Formal Methods
The field of knowledge known as Empirical Software Engineering suggests the application of experimental methods in order to discover and describe characteristics of the process and results derived from new methodologies, such as agile formal methods. In this paper we present the methodology needed for conducting formal experiments and we review related work done in the field of the agile formal...
متن کاملTowards the integration of formal specification in the Áncora methodology
There are some non-formal methodologies such as RUP, OpenUP, agile methodologies such as SCRUP, XP and techniques like those proposed by UML, which allow the development of software. The software industry has struggled to generate quality software, as importance has not been given to the engineering requirements, resulting in a poor specification of requirements and software of poor quality. In...
متن کاملDetermination constructs validity of an agile organization model by using factor analysis
During 21st century, manufacturing success and survival are becoming more difficult to ensure this fact is originated in the emergency of new business era that has "change" as one of its major characteristics. Change in business environment and uncertainly have entered management study and research for the last two decades. Agility enhances the organization ability to provide high quality produ...
متن کاملTowards an Agile User Experience Virtual Assistant and Management Platform
Much research has been carried out into the integration of User Experience and the Agile software development methodology. However, there has been no formal attempt to develop a computerbased management system to aid in the integration of these two concepts. This paper outlines the initial development of such a system; UX-Vision. It includes how the system operates, the design of its user inter...
متن کامل